|
#1
Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)Jean-Yves GirardКатегория: Образование
3.82 Mb
#2
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, 7)Jean-Yves Girard, Yves Lafont, Paul Taylor
925 Kb
#8
Typed Lambda Calculi and Applications, 4 conf., TLCA'99Jean-Yves GirardКатегория: Cs_Computer science, CsLn_Lecture notes
7.35 Mb
#9
Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott
3.84 Mb
#10
Advances in Linear Logic (London Mathematical Society Lecture Note Series)Jean-Yves Girard, Yves Lafont, Laurent Regnier
3.36 Mb
#11
Linear logic in computer scienceThomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott
2.28 Mb
|
|